Characterization of almost semi-Heyting algebra
نویسندگان
چکیده
منابع مشابه
Lattice of Substitutions is a Heyting Algebra
(6) For every finite element a of V→̇C holds {a} ∈ SubstitutionSet(V,C). (7) If A a B = A, then for every set a such that a ∈ A there exists a set b such that b ∈ B and b⊆ a. (8) If μ(A a B) = A, then for every set a such that a ∈ A there exists a set b such that b ∈ B and b⊆ a. (9) If for every set a such that a ∈ A there exists a set b such that b ∈ B and b ⊆ a, then μ(A a B) = A. Let V be a s...
متن کاملA new characterization of complete Heyting and co-Heyting algebras
We give a new order-theoretic characterization of a complete Heyting and co-Heyting algebra C. This result provides an unexpected relationship with the field of Nash equilibria, being based on the so-called Veinott ordering relation on subcomplete sublattices of C, which is crucially used in Topkis’ theorem for studying the order-theoretic stucture of Nash equilibria of supermodular games. Intr...
متن کاملOn the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras
Any finite distributive lattice has a unique Heyting structure. Every finite Heyting semilattice has, of course, a unique lattice structure and it is necessarily distributive. ∗ This ms was born in 2002. The first appendix was added in 2005, the first footnote in 2013, the subscorings in 2015 and the addendum in 2017. 1 [ ] See 2nd appendix for subscorings. First x and y meet x↔ y in the same w...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discussiones Mathematicae - General Algebra and Applications
سال: 2020
ISSN: 1509-9415,2084-0373
DOI: 10.7151/dmgaa.1342